时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

Callable products for an implicit time model with dependent demands

Capacity providers such as airlines and hotels have traditionally increased revenues by practicing market segmentation and revenue management, enabling them to sell the same capacity pool to different consumers at different prices. Callable products can enhance profits and improve consumers' welfare by allowing the firm to broker capacity between consumers with different willingness to pay. A consumer who buys a callable product gives the capacity provider the right to recall capacity at a prespecified recall price. This article studies callable products in the context of the model most commonly used in industry, which handles time implicitly imposing fewer restrictions on the nature of randomness compared to the Poisson arrival process favored in academia. In the implicit time model, capacity providers set booking limits to protect capacity for future high-fare demand. Our numerical study identifies conditions where callable products result in significant gains in profits.     

双原子分子气体的定常隐式全流域多尺度算法

巨大的计算资源需求极大地阻碍了统一气体动理学格式的应用。采用宏观预估技术,基于Boltzmann-Rykov模型方程发展全流域适用的保守恒定常隐式算法,协同求解宏观方程和微观方程以加速收敛。在单元界面,通过模型方程特征差分解构造简单高效的多尺度数值通量,并结合非均匀非结构速度空间和速度空间自适应技术进一步降低计算需求、提升计算效率。超声速和高超声速平板绕流和圆球绕流的数值结果验证了算法的准确性与高效性。结果表明,算法能够准确求解二维和三维双原子气体多尺度流动问题,且相比于显式离散统一气体动理学格式可加速一个量级。     

基于栅格分层的逐栅格汇流算法并行化研究

分布式水文模型中的逐栅格汇流算法计算量大,需要借助并行计算以满足大流域长历时模拟的要求。针对目前鲜有对基于隐式有限差分的逐栅格汇流算法进行并行计算研究的情况,基于栅格分层的思想提出一种适用于共享内存并行计算环境的逐栅格汇流并行算法。该算法首先根据流向进行栅格分层,使同一层中栅格的计算相互独立,然后将同一层中栅格的计算任务分配到多个计算单元并行计算。采用C++编程语言与OpenMP并行编程库实现了该算法,并选择河北省清水河流域为实验区,在不同数据规模(30m、90m、270m分辨率)、不同核数(2～20个)以及不同栅格分层方法的情况下对算法性能进行了测试。实验结果表明本文提出的并行算法具有较好的加速比和并行效率,且并行效率随数据规模的增大而增大。栅格分层方法对算法并行性能有明显影响,从上到下的分层方法比从下到上的方法具有更高的并行效率。     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

基于StarBus的对象事务服务的设计与实现

在分布式计算环境中，对象事务服务（ＯｂｊｅｃｔＴｒａｎｓａｃｔｉｏｎＳｅｒｖｉｃｅ简称ＯＴＳ）对于提高分布式系统的开发效率具有重要意义。设计与实现一个高效的对象事务服务的关键在于克服网络阻塞的问题，本文着眼于一种基于面向对象传值语义的设计方法，可以有效地减少网络阻塞，适合于企业级应用。     

常微分方程的割线迭代格式

在常微分方程的数值解法中，Euler的隐式格式稳定性较好，但由于它为隐式，因而给计算带来了极大地不方便。为了解决此问题，本文给出了一种数值解法——常微分方程的割线迭代格式。     

全隐LU-SGS算法在高超声速热化学非平衡流刚性问题中的应用

在高超声速热化学非平衡流动计算中,当地气体能量松弛时间、化学反应特征时间与流动时间推进步长量级差异过大会带来严重数值刚性问题,且在高雷诺数条件下,壁面、拐角等强干扰区网格加密使得该问题加剧,导致初始最大CFL数极小,收敛速度缓慢.原始LU-SGS算法仅考虑化学反应源项和对流项的隐式处理,通过推导黏性项Jacobian矩...     

某方向机传动系统动力学建模与仿真

基于机械系统动力学仿真软件ADAMS建立某方向机传动系统的动力学模型,模型中考虑基于接触理论的齿轮啮合力、轴承刚度变化和预紧机构的作用。针对3种实际工况,进行动态特性仿真,给出关重件的动态载荷,为该系统的故障分析和寿命预测奠定了基础。     

2-一致光滑Banach空间中k-严格伪压缩半群公共不动点的隐格式迭代算法

对于Banach空间中女一严格伪压缩半群的公共不动点给出了隐格式迭代算法,证明了一个强收敛定理,推广并扩展了相关结论。